ser computable para algo

См. также в других словарях:

• Atmósfera — Para otros usos de este término, véase Atmósfera (desambiguación). Vista de la activa atmósfera de Júpiter, con la Gran Mancha Roja hacia el centro de la imagen. La atmósfera (del griego ἀτμός, «vapor» o «aire», y σφαῖρα, «esfera») es la capa de… …   Wikipedia Español

• Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… …   Wikipedia Español

• Algoritmo — Los diagramas de flujo sirven para representar algoritmos de manera gráfica. En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus y éste a su vez del matemático persa Al… …   Wikipedia Español

• Tierra — «Planeta Tierra» redirige aquí. Para la serie documental, véase Planeta Tierra (documental). Para otros usos de este término, véase Tierra (desambiguación). Tierra …   Wikipedia Español

• Valencia — Para otros usos de este término, véase Valencia (desambiguación). Valencia …   Wikipedia Español

• Tesis de Church-Turing — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… …   Wikipedia Español

• Un nuevo tipo de ciencia — Una nueva clase de ciencia (en inglés, A New Kind of Science) es un libro de Stephen Wolfram, publicado en 2002. Contiene un estudio empírico y sistemático de los sistemas computacionales tales como los autómatas celulares. Wolfram denomina… …   Wikipedia Español

• Ley de Walras — La ley de Walras es, en la teoría del equilibrio general, un principio que establece que la suma de la demanda (o demanda agregada (D) debe igualar a, tomando en consideración los precios (p), la suma de la oferta (S), Es decir Σ pD … …   Wikipedia Español

• Arquitectura de von Neumann — Saltar a navegación, búsqueda Diagrama de la arquitectura von Neumann. La arquitectura de von Neumann es una familia de arquitecturas de computadoras que utilizan el mismo dispositivo de almacenamiento tanto para las instrucciones como para los… …   Wikipedia Español

• Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …   Wikipedia Español

• Historia de la inteligencia artificial — La Inteligencia Artificial surge definitivamente a partir de algunos trabajos publicados en la década de 1940 que no tuvieron gran repercusión, pero a partir del influyente trabajo en 1950 de Alan Turing, matemático británico, se abre una nueva… …   Wikipedia Español